<HTML><HEAD><TITLE>tenable(?Var)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(repair)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>tenable(?Var)</H1>
Check if Var is tenable.
<DL>
<DT><EM>Var</EM></DT>
<DD>Term
</DD>
</DL>
<H2>Description</H2>
<P>
Succeeds if Term is tenable. A Term is tenable if it does not contain any
variables with tentative values which are inconsistent with any constraints
involving thevariable. Note that variables with no tentative values are
considered tenable.</P>
<H3>Fail Conditions</H3>
Fails if Var is non-tenable.
<H3>Resatisfiable</H3>
no
<H2>Examples</H2>
<PRE>% lib(fd) is loaded

[eclipse 3]: X::1..5, X tent_set 3, tenable(X).  % suceeds

[eclipse 3]: X::1..5, X tent_set 7, tenable(X).  % fails

</PRE>
<H2>See Also</H2>
<A HREF="../../lib/repair/tent_set-2.html">tent_set / 2</A>, <A HREF="../../lib/repair/conflict_vars-1.html">conflict_vars / 1</A>
</BODY></HTML>
